منابع مشابه
Forgetting Revisited
In this paper, we propose an alternative notion, called weak forgetting, of forgetting a set of predicates in a first-order theory. One important feature of this new notion is that the result of weak forgetting is always first-order expressible. In contrast, this is not the case for the traditional notion of forgetting, called strong forgetting, introduced by Lin and Reiter. As a consequence, t...
متن کاملBounded Forgetting
The result of forgetting some predicates in a first-order sentence may not exist in the sense that it might not be captured by any first-order sentences. This, indeed, severely restricts the usage of forgetting in applications. To address this issue, we propose a notion called k-forgetting, also called bounded forgetting in general, for any fixed number k. We present several equivalent characte...
متن کاملIntrospective Forgetting
We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it fol...
متن کاملRemembering and forgetting: directed forgetting effect in obsessive-compulsive disorder
It has been reported that episodic memory seems to be impaired in patients with obsessive-compulsive disorder (OCD) because the patients repeat a specific checking behavior, but it is still unknown if OCD patients show memory impairments associated with their unique symptoms or not. To study episodic memory in OCD patients, we examined the directed forgetting effect. Patients with OCD and healt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cultural Studies Review
سال: 2013
ISSN: 1837-8692,1446-8123
DOI: 10.5130/csr.v19i2.3493